#include <linux/smp.h>
#include <linux/cpu.h>
#include <linux/threads.h>

#include "inc/smpboot.h"

unsigned int setup_max_cpus = NR_CPUS;

void smp_init(void)
{
    idle_threads_init();
    cpuhp_threads_init();

    bringup_nonboot_cpus(setup_max_cpus);
}

int smp_call_function_single_async(int cpu, call_single_data_t *csd)
{
    //todo
    return -1;
}
